ePMC

Benchmark
Model:rabin v.1 (MDP)
Parameter(s)N = 10
Property:live (prob-reach)
Invocation (default)
java -Xms10240m -Xmx10240m -jar ../epmc-standard.jar check --model-input-files rabin.10.prism --model-input-type prism --property-input-files rabin.10.props --property-input-names live --translate-messages false --value-floating-point-output-native true --graphsolver-iterative-stop-criterion relative --graphsolver-iterative-tolerance 1e-6
Execution
Walltime:> 1800s (Timeout)
Log
assertions-disabled
start-parsing
done-parsing
model-checking
analysing-property live
start-building-explorer
start-building-initial-states-explorer
done-building-initial-states-explorer
done-building-explorer
build-model-start
build-model-states-explored 12253 12252
build-model-states-explored 29149 16897
build-model-states-explored 45963 16814
build-model-states-explored 63917 17954
build-model-states-explored 82220 18303
build-model-states-explored 95703 13483
build-model-states-explored 113165 17462
build-model-states-explored 131300 18135
build-model-states-explored 150450 19150
build-model-states-explored 168500 18050
build-model-states-explored 178132 9632
build-model-states-explored 196747 18614
build-model-states-explored 215125 18379
build-model-states-explored 232713 17588
build-model-states-explored 248733 16020
build-model-states-explored 266892 18159
build-model-states-explored 285493 18601
build-model-states-explored 304539 19046
build-model-states-explored 323451 18912
build-model-states-explored 341938 18487
build-model-states-explored 343480 1542
build-model-states-explored 362283 18803
build-model-states-explored 380987 18704
build-model-states-explored 399481 18494
build-model-states-explored 418423 18942
build-model-states-explored 437821 19398
build-model-states-explored 455667 17846
build-model-states-explored 474518 18851
build-model-states-explored 493056 18538
build-model-states-explored 508489 15433
build-model-states-explored 527968 19479
build-model-states-explored 546953 18985
build-model-states-explored 565898 18945
build-model-states-explored 584634 18736
build-model-states-explored 603577 18943
build-model-states-explored 622898 19321
build-model-states-explored 642113 19215
build-model-states-explored 661482 19369
build-model-states-explored 681141 19659
build-model-states-explored 697703 16562
build-model-states-explored 718142 20439
build-model-states-explored 726429 8287
build-model-states-explored 726429 0
build-model-states-explored 741878 15449
build-model-states-explored 763288 21410
build-model-states-explored 782865 19577
build-model-states-explored 804084 21219
build-model-states-explored 825130 21046
build-model-states-explored 846572 21442
build-model-states-explored 866996 20424
build-model-states-explored 887992 20996
build-model-states-explored 907987 19994
build-model-states-explored 926168 18181
build-model-states-explored 946512 20344
build-model-states-explored 966147 19635
build-model-states-explored 987001 20854
build-model-states-explored 1006324 19323
build-model-states-explored 1026706 20382
build-model-states-explored 1042552 15846
build-model-states-explored 1062841 20289
build-model-states-explored 1082854 20013
build-model-states-explored 1103169 20315
build-model-states-explored 1123644 20475
build-model-states-explored 1143188 19544
build-model-states-explored 1163826 20637
build-model-states-explored 1183609 19784
build-model-states-explored 1204963 21354
build-model-states-explored 1224984 20021
build-model-states-explored 1246380 21396
build-model-states-explored 1267735 21355
build-model-states-explored 1289037 21302
build-model-states-explored 1310549 21512
build-model-states-explored 1332652 22102
build-model-states-explored 1354109 21458
build-model-states-explored 1375972 21862
build-model-states-explored 1398270 22299
build-model-states-explored 1420564 22293
build-model-states-explored 1441913 21349
build-model-states-explored 1463421 21509
build-model-states-explored 1485651 22230
build-model-states-explored 1506619 20968
build-model-states-explored 1506619 0
build-model-states-explored 1506619 0
build-model-states-explored 1506619 0
build-model-states-explored 1513487 6868
build-model-states-explored 1535521 22034
build-model-states-explored 1556497 20976
build-model-states-explored 1577806 21309
build-model-states-explored 1597747 19941
build-model-states-explored 1617716 19969
build-model-states-explored 1636814 19098
build-model-states-explored 1656076 19262
build-model-states-explored 1673973 17897
build-model-states-explored 1691896 17922
build-model-states-explored 1709305 17410
build-model-states-explored 1727665 18360
build-model-states-explored 1745535 17870
build-model-states-explored 1763020 17485
build-model-states-explored 1781203 18182
build-model-states-explored 1799368 18166
build-model-states-explored 1817102 17734
build-model-states-explored 1834787 17685
build-model-states-explored 1852966 18179
build-model-states-explored 1867969 15003
build-model-states-explored 1887145 19175
build-model-states-explored 1906083 18939
build-model-states-explored 1925486 19403
build-model-states-explored 1944864 19378
build-model-states-explored 1965067 20203
build-model-states-explored 1984936 19869
build-model-states-explored 2003996 19060
build-model-states-explored 2023365 19368
build-model-states-explored 2043740 20376
build-model-states-explored 2062700 18959
build-model-states-explored 2082231 19532
build-model-states-explored 2100922 18691
build-model-states-explored 2118552 17630
build-model-states-explored 2128878 10326
build-model-states-explored 2146857 17979
build-model-states-explored 2164641 17784
build-model-states-explored 2182589 17948
build-model-states-explored 2200227 17638
build-model-states-explored 2217778 17551
build-model-states-explored 2236414 18635
build-model-states-explored 2255539 19125
build-model-states-explored 2275552 20013
build-model-states-explored 2295676 20124
build-model-states-explored 2315681 20005
build-model-states-explored 2335444 19762
build-model-states-explored 2353889 18445
build-model-states-explored 2371396 17507
build-model-states-explored 2388740 17344
build-model-states-explored 2405712 16972
build-model-states-explored 2424508 18796
build-model-states-explored 2444720 20212
build-model-states-explored 2464397 19677
build-model-states-explored 2481676 17279
build-model-states-explored 2497582 15906
build-model-states-explored 2516577 18995
build-model-states-explored 2533605 17028
build-model-states-explored 2551056 17451
build-model-states-explored 2570054 18998
build-model-states-explored 2588972 18918
build-model-states-explored 2606704 17732
build-model-states-explored 2626462 19758
build-model-states-explored 2645083 18621
build-model-states-explored 2663008 17925
build-model-states-explored 2682253 19245
build-model-states-explored 2700786 18533
build-model-states-explored 2719621 18834
build-model-states-explored 2737840 18220
build-model-states-explored 2756287 18447
build-model-states-explored 2774383 18096
build-model-states-explored 2792257 17874
build-model-states-explored 2811715 19458
build-model-states-explored 2829925 18210
build-model-states-explored 2848440 18515
build-model-states-explored 2866680 18240
build-model-states-explored 2885126 18446
build-model-states-explored 2903479 18353
build-model-states-explored 2921174 17695
build-model-states-explored 2940026 18852
build-model-states-explored 2958610 18584
build-model-states-explored 2977232 18622
build-model-states-explored 2995596 18364
build-model-states-explored 3013620 18024
build-model-states-explored 3031694 18074
build-model-states-explored 3040391 8697
build-model-states-explored 3040391 0
build-model-states-explored 3040391 0
build-model-states-explored 3040391 0
build-model-states-explored 3040391 0
build-model-states-explored 3040391 0
build-model-states-explored 3040391 0
build-model-states-explored 3041145 754
build-model-states-explored 3058689 17544
build-model-states-explored 3077428 18739
build-model-states-explored 3095297 17869
build-model-states-explored 3113704 18407
build-model-states-explored 3131759 18055
build-model-states-explored 3149967 18208
build-model-states-explored 3167917 17950
build-model-states-explored 3184723 16806
build-model-states-explored 3203485 18761
build-model-states-explored 3221811 18326
build-model-states-explored 3239632 17820
build-model-states-explored 3258165 18534
build-model-states-explored 3275806 17641
build-model-states-explored 3293317 17510
build-model-states-explored 3311050 17733
build-model-states-explored 3328468 17418
build-model-states-explored 3347301 18833
build-model-states-explored 3365569 18268
build-model-states-explored 3383387 17818
build-model-states-explored 3399518 16131
build-model-states-explored 3416837 17319
build-model-states-explored 3434693 17856
build-model-states-explored 3452487 17794
build-model-states-explored 3469997 17510
build-model-states-explored 3488928 18930
build-model-states-explored 3506868 17941
build-model-states-explored 3524826 17958
build-model-states-explored 3542937 18111
build-model-states-explored 3560655 17718
build-model-states-explored 3578246 17591
build-model-states-explored 3596115 17869
build-model-states-explored 3613727 17612
build-model-states-explored 3632713 18986
build-model-states-explored 3650710 17997
build-model-states-explored 3668748 18038
build-model-states-explored 3686663 17915
build-model-states-explored 3704377 17714
build-model-states-explored 3722139 17762
build-model-states-explored 3741206 19067
build-model-states-explored 3754999 13793
build-model-states-explored 3772901 17902
build-model-states-explored 3790947 18045
build-model-states-explored 3809822 18876
build-model-states-explored 3828133 18311
build-model-states-explored 3846483 18349
build-model-states-explored 3864729 18246
build-model-states-explored 3882913 18184
build-model-states-explored 3901657 18744
build-model-states-explored 3919433 17776
build-model-states-explored 3938089 18656
build-model-states-explored 3956226 18136
build-model-states-explored 3974382 18157
build-model-states-explored 3992373 17991
build-model-states-explored 4010280 17907
build-model-states-explored 4029612 19332
build-model-states-explored 4049265 19653
build-model-states-explored 4068672 19407
build-model-states-explored 4088351 19678
build-model-states-explored 4107887 19537
build-model-states-explored 4127781 19894
build-model-states-explored 4148559 20778
build-model-states-explored 4168301 19742
build-model-states-explored 4187696 19395
build-model-states-explored 4207133 19437
build-model-states-explored 4227594 20461
build-model-states-explored 4247289 19694
build-model-states-explored 4260231 12943
build-model-states-explored 4266912 6681
build-model-states-explored 4287752 20840
build-model-states-explored 4302824 15072
build-model-states-explored 4321566 18742
build-model-states-explored 4340735 19169
build-model-states-explored 4359349 18614
build-model-states-explored 4377996 18647
build-model-states-explored 4396415 18419
build-model-states-explored 4414944 18529
build-model-states-explored 4433368 18424
build-model-states-explored 4451612 18243
build-model-states-explored 4470106 18494
build-model-states-explored 4489238 19132
build-model-states-explored 4509107 19869
build-model-states-explored 4529388 20281
build-model-states-explored 4550016 20628
build-model-states-explored 4571060 21044
build-model-states-explored 4591277 20217
build-model-states-explored 4612110 20833
build-model-states-explored 4632329 20219
build-model-states-explored 4651189 18860
build-model-states-explored 4669449 18260
build-model-states-explored 4687806 18357
build-model-states-explored 4705766 17960
build-model-states-explored 4722583 16817
build-model-states-explored 4741471 18888
build-model-states-explored 4761663 20192
build-model-states-explored 4782406 20743
build-model-states-explored 4802457 20051
build-model-states-explored 4821178 18721
build-model-states-explored 4838982 17804
build-model-states-explored 4856840 17858
build-model-states-explored 4876087 19247
build-model-states-explored 4895609 19522
build-model-states-explored 4913025 17416
build-model-states-explored 4931339 18314
build-model-states-explored 4948800 17461
build-model-states-explored 4967766 18966
build-model-states-explored 4986467 18701
build-model-states-explored 5004497 18030
build-model-states-explored 5023306 18809
build-model-states-explored 5041256 17950
build-model-states-explored 5059480 18224
build-model-states-explored 5077436 17956
build-model-states-explored 5095828 18392
build-model-states-explored 5113740 17912
build-model-states-explored 5132128 18388
build-model-states-explored 5150417 18289
build-model-states-explored 5168750 18333
build-model-states-explored 5187032 18282
build-model-states-explored 5205238 18206
build-model-states-explored 5223453 18215
build-model-states-explored 5235456 12003
build-model-states-explored 5253205 17749
build-model-states-explored 5271163 17958
build-model-states-explored 5289355 18192
build-model-states-explored 5308047 18692
build-model-states-explored 5325927 17880
build-model-states-explored 5343934 18007
build-model-states-explored 5361968 18034
build-model-states-explored 5380594 18626
build-model-states-explored 5398387 17793
build-model-states-explored 5416569 18182
build-model-states-explored 5434637 18068
build-model-states-explored 5452956 18319
build-model-states-explored 5470843 17887
build-model-states-explored 5488740 17897
build-model-states-explored 5506826 18086
build-model-states-explored 5524622 17796
build-model-states-explored 5543011 18389
build-model-states-explored 5560998 17987
build-model-states-explored 5578626 17628
build-model-states-explored 5597382 18756
build-model-states-explored 5616688 19306
build-model-states-explored 5635398 18710
build-model-states-explored 5654164 18766
build-model-states-explored 5672824 18660
build-model-states-explored 5691235 18411
build-model-states-explored 5709653 18418
build-model-states-explored 5727954 18301
build-model-states-explored 5746123 18169
build-model-states-explored 5765272 19149
build-model-states-explored 5784965 19693
build-model-states-explored 5805309 20344
build-model-states-explored 5826006 20697
build-model-states-explored 5846831 20825
build-model-states-explored 5866913 20082
build-model-states-explored 5887445 20532
build-model-states-explored 5907823 20378
build-model-states-explored 5926782 18959
build-model-states-explored 5945136 18354
build-model-states-explored 5963511 18375
build-model-states-explored 5981651 18140
build-model-states-explored 5999594 17943
build-model-states-explored 6018721 19127
build-model-states-explored 6038776 20055
build-model-states-explored 6059467 20691
build-model-states-explored 6079785 20318
build-model-states-explored 6098300 18515
build-model-states-explored 6116254 17954
build-model-states-explored 6133781 17527
build-model-states-explored 6153278 19497
build-model-states-explored 6167064 13786
build-model-states-explored 6170905 3841
build-model-states-explored 6170905 0
build-model-states-explored 6170905 0
build-model-states-explored 6170905 0
build-model-states-explored 6170905 0
build-model-states-explored 6170905 0
build-model-states-explored 6170905 0
build-model-states-explored 6170905 0
build-model-states-explored 6170905 0
build-model-states-explored 6170905 0
build-model-states-explored 6170905 0
build-model-states-explored 6170905 0
build-model-states-explored 6170905 0
build-model-states-explored 6170905 0
build-model-states-explored 6170905 0
build-model-states-explored 6183798 12893
build-model-states-explored 6202192 18394
build-model-states-explored 6219457 17265
build-model-states-explored 6237781 18324
build-model-states-explored 6255399 17618
build-model-states-explored 6273481 18082
build-model-states-explored 6291219 17738
build-model-states-explored 6309080 17861
build-model-states-explored 6326984 17904
build-model-states-explored 6344649 17665
build-model-states-explored 6362625 17976
build-model-states-explored 6380616 17991
build-model-states-explored 6398647 18031
build-model-states-explored 6416397 17750
build-model-states-explored 6434012 17615
build-model-states-explored 6451720 17708
build-model-states-explored 6469756 18036
build-model-states-explored 6487730 17974
build-model-states-explored 6505369 17639
build-model-states-explored 6522964 17595
build-model-states-explored 6540509 17545
build-model-states-explored 6558222 17713
build-model-states-explored 6576485 18263
build-model-states-explored 6594413 17928
build-model-states-explored 6612349 17936
build-model-states-explored 6630019 17670
build-model-states-explored 6648013 17994
build-model-states-explored 6666248 18235
build-model-states-explored 6685267 19019
build-model-states-explored 6706438 21171
build-model-states-explored 6726464 20026
build-model-states-explored 6745189 18725
build-model-states-explored 6762997 17808
build-model-states-explored 6780470 17473
build-model-states-explored 6798488 18018
build-model-states-explored 6818626 20138
build-model-states-explored 6836115 17489
build-model-states-explored 6854095 17980
build-model-states-explored 6871230 17135
build-model-states-explored 6888916 17686
build-model-states-explored 6906671 17755
build-model-states-explored 6924394 17723
build-model-states-explored 6942176 17782
build-model-states-explored 6959761 17585
build-model-states-explored 6977513 17752
build-model-states-explored 6995008 17495
build-model-states-explored 7012639 17631
build-model-states-explored 7030592 17953
build-model-states-explored 7048501 17909
build-model-states-explored 7066046 17545
build-model-states-explored 7083305 17259
build-model-states-explored 7096002 12697
build-model-states-explored 7115732 19730
build-model-states-explored 7134159 18427
build-model-states-explored 7151113 16954
build-model-states-explored 7169437 18324
build-model-states-explored 7186870 17433
build-model-states-explored 7204916 18046
build-model-states-explored 7222710 17794
build-model-states-explored 7240950 18240
build-model-states-explored 7259083 18133
build-model-states-explored 7276431 17348
build-model-states-explored 7294629 18198
build-model-states-explored 7311871 17242
build-model-states-explored 7330342 18471
build-model-states-explored 7348161 17819
build-model-states-explored 7367119 18958
build-model-states-explored 7384319 17200
build-model-states-explored 7404191 19872
build-model-states-explored 7423300 19109
build-model-states-explored 7442505 19205
build-model-states-explored 7461214 18709
build-model-states-explored 7478963 17749
build-model-states-explored 7496343 17380
build-model-states-explored 7513273 16930
build-model-states-explored 7532037 18764
build-model-states-explored 7551829 19792
build-model-states-explored 7570727 18898
build-model-states-explored 7589792 19065
build-model-states-explored 7608853 19061
build-model-states-explored 7609843 990
build-model-states-explored 7625002 15159
build-model-states-explored 7643993 18991
build-model-states-explored 7662819 18826
build-model-states-explored 7681806 18987
build-model-states-explored 7700890 19084
build-model-states-explored 7720071 19181
build-model-states-explored 7739108 19037
build-model-states-explored 7758140 19032
build-model-states-explored 7777399 19259
build-model-states-explored 7796671 19272
build-model-states-explored 7815951 19280
build-model-states-explored 7835015 19064
build-model-states-explored 7853934 18919
build-model-states-explored 7873254 19320
build-model-states-explored 7892849 19595
build-model-states-explored 7911857 19008
build-model-states-explored 7930758 18901
build-model-states-explored 7950245 19487
build-model-states-explored 7969729 19484
build-model-states-explored 7989118 19389
build-model-states-explored 8007895 18777
build-model-states-explored 8026797 18902
build-model-states-explored 8045752 18955
build-model-states-explored 8064436 18684
build-model-states-explored 8083442 19006
build-model-states-explored 8102461 19019
build-model-states-explored 8121084 18623
build-model-states-explored 8139871 18787
build-model-states-explored 8158876 19005
build-model-states-explored 8178118 19242
build-model-states-explored 8196957 18839
build-model-states-explored 8216046 19089
build-model-states-explored 8234840 18794
build-model-states-explored 8253684 18844
build-model-states-explored 8272827 19143
build-model-states-explored 8291736 18909
build-model-states-explored 8310625 18889
build-model-states-explored 8329513 18888
build-model-states-explored 8348591 19078
build-model-states-explored 8367699 19108
build-model-states-explored 8386966 19267
build-model-states-explored 8405375 18409
build-model-states-explored 8423615 18240
build-model-states-explored 8442190 18575
build-model-states-explored 8460838 18648
build-model-states-explored 8479222 18384
build-model-states-explored 8497899 18677
build-model-states-explored 8516278 18379
build-model-states-explored 8534617 18339
build-model-states-explored 8553144 18527
build-model-states-explored 8567519 14375
build-model-states-explored 8585764 18245
build-model-states-explored 8604660 18896
build-model-states-explored 8623397 18737
build-model-states-explored 8641943 18546
build-model-states-explored 8660701 18758
build-model-states-explored 8679689 18988
build-model-states-explored 8698398 18709
build-model-states-explored 8716903 18505
build-model-states-explored 8735988 19085
build-model-states-explored 8754919 18931
build-model-states-explored 8773815 18896
build-model-states-explored 8792768 18953
build-model-states-explored 8811448 18680
build-model-states-explored 8829235 17787
build-model-states-explored 8847571 18336
build-model-states-explored 8866144 18573
build-model-states-explored 8884435 18291
build-model-states-explored 8893571 9136
build-model-states-explored 8893571 0
build-model-states-explored 8908006 14435
build-model-states-explored 8927142 19136
build-model-states-explored 8946238 19096
build-model-states-explored 8965324 19086
build-model-states-explored 8985041 19717
build-model-states-explored 9004080 19039
build-model-states-explored 9023645 19565
build-model-states-explored 9042853 19208
build-model-states-explored 9062106 19253
build-model-states-explored 9081458 19352
build-model-states-explored 9100734 19276
build-model-states-explored 9120018 19284
build-model-states-explored 9138976 18958
build-model-states-explored 9158585 19609
build-model-states-explored 9178081 19496
build-model-states-explored 9197851 19770
build-model-states-explored 9217459 19608
build-model-states-explored 9236820 19361
build-model-states-explored 9255088 18268
build-model-states-explored 9273857 18769
build-model-states-explored 9292991 19134
build-model-states-explored 9311881 18890
build-model-states-explored 9331005 19124
build-model-states-explored 9349905 18900
build-model-states-explored 9368595 18690
build-model-states-explored 9387344 18749
build-model-states-explored 9406857 19513
build-model-states-explored 9425547 18690
build-model-states-explored 9444289 18742
build-model-states-explored 9463340 19051
build-model-states-explored 9482143 18803
build-model-states-explored 9491096 8953
build-model-states-explored 9510527 19431
build-model-states-explored 9529645 19118
build-model-states-explored 9549098 19453
build-model-states-explored 9567959 18861
build-model-states-explored 9587276 19317
build-model-states-explored 9606363 19087
build-model-states-explored 9625549 19186
build-model-states-explored 9644913 19364
build-model-states-explored 9663989 19076
build-model-states-explored 9682807 18818
build-model-states-explored 9700781 17974
build-model-states-explored 9719700 18919
build-model-states-explored 9738255 18555
build-model-states-explored 9756921 18666
build-model-states-explored 9775497 18576
build-model-states-explored 9794315 18818
build-model-states-explored 9813296 18981
build-model-states-explored 9832557 19261
build-model-states-explored 9851474 18917
build-model-states-explored 9870095 18621
build-model-states-explored 9889541 19446
build-model-states-explored 9908385 18844
build-model-states-explored 9927117 18732
build-model-states-explored 9946306 19189
build-model-states-explored 9965475 19169
build-model-states-explored 9984485 19010
build-model-states-explored 10003336 18851
build-model-states-explored 10022697 19361
build-model-states-explored 10041947 19250
build-model-states-explored 10061644 19697
build-model-states-explored 10081138 19494
build-model-states-explored 10100450 19312
build-model-states-explored 10119505 19055
build-model-states-explored 10137949 18444
build-model-states-explored 10156250 18301
build-model-states-explored 10175678 19428
build-model-states-explored 10194508 18830
build-model-states-explored 10213257 18749
build-model-states-explored 10231778 18521
build-model-states-explored 10250615 18837
build-model-states-explored 10269516 18901
build-model-states-explored 10288645 19129
build-model-states-explored 10307531 18886
build-model-states-explored 10325780 18249
build-model-states-explored 10344603 18823
build-model-states-explored 10363367 18764
build-model-states-explored 10382103 18736
build-model-states-explored 10395578 13475
build-model-states-explored 10413800 18222
build-model-states-explored 10432698 18898
build-model-states-explored 10451132 18434
build-model-states-explored 10470389 19257
build-model-states-explored 10489507 19118
build-model-states-explored 10508943 19436
build-model-states-explored 10528313 19370
build-model-states-explored 10547375 19062
build-model-states-explored 10566367 18992
build-model-states-explored 10585405 19038
build-model-states-explored 10603230 17825
build-model-states-explored 10621484 18254
build-model-states-explored 10639968 18484
build-model-states-explored 10658786 18818
build-model-states-explored 10677527 18741
build-model-states-explored 10696438 18911
build-model-states-explored 10715061 18623
build-model-states-explored 10734056 18995
build-model-states-explored 10753275 19219
build-model-states-explored 10772030 18755
build-model-states-explored 10790433 18403
build-model-states-explored 10808868 18435
build-model-states-explored 10827818 18950
build-model-states-explored 10846766 18948
build-model-states-explored 10865825 19059
build-model-states-explored 10883175 17350
build-model-states-explored 10901877 18702
build-model-states-explored 10920701 18824
build-model-states-explored 10939240 18539
build-model-states-explored 10958004 18764
build-model-states-explored 10977364 19360
build-model-states-explored 10996679 19315
build-model-states-explored 11016249 19570
build-model-states-explored 11035059 18810
build-model-states-explored 11054530 19471
build-model-states-explored 11073387 18857
build-model-states-explored 11092591 19204
build-model-states-explored 11111417 18826
build-model-states-explored 11130266 18849
build-model-states-explored 11149368 19102
build-model-states-explored 11167943 18575
build-model-states-explored 11186927 18984
build-model-states-explored 11205446 18519
build-model-states-explored 11224346 18900
build-model-states-explored 11243340 18994
build-model-states-explored 11262021 18681
build-model-states-explored 11280974 18953
build-model-states-explored 11299635 18661
build-model-states-explored 11312468 12833
build-model-states-explored 11330898 18430
build-model-states-explored 11350020 19122
build-model-states-explored 11368848 18828
build-model-states-explored 11387322 18474
build-model-states-explored 11406005 18683
build-model-states-explored 11424819 18814
build-model-states-explored 11444002 19183
build-model-states-explored 11462398 18396
build-model-states-explored 11480954 18556
build-model-states-explored 11499540 18586
build-model-states-explored 11518190 18650
build-model-states-explored 11537318 19128
build-model-states-explored 11555846 18528
build-model-states-explored 11574653 18807
build-model-states-explored 11593154 18501
build-model-states-explored 11611722 18568
build-model-states-explored 11630262 18540
build-model-states-explored 11649178 18916
build-model-states-explored 11667674 18496
build-model-states-explored 11686005 18331
build-model-states-explored 11704758 18753
build-model-states-explored 11723319 18561
build-model-states-explored 11742429 19110
build-model-states-explored 11761314 18885
build-model-states-explored 11779768 18454
build-model-states-explored 11798544 18776
build-model-states-explored 11816735 18191
build-model-states-explored 11835337 18602
build-model-states-explored 11854700 19363
build-model-states-explored 11873992 19292
build-model-states-explored 11893076 19084
build-model-states-explored 11912011 18935
build-model-states-explored 11930975 18964
build-model-states-explored 11949753 18778
build-model-states-explored 11968392 18639
build-model-states-explored 11986768 18376
build-model-states-explored 12005367 18599
build-model-states-explored 12023684 18317
build-model-states-explored 12041991 18307
build-model-states-explored 12060600 18609
build-model-states-explored 12080007 19407
build-model-states-explored 12099560 19553
build-model-states-explored 12119264 19704
build-model-states-explored 12139540 20276
build-model-states-explored 12160843 21303
build-model-states-explored 12181290 20447
build-model-states-explored 12200989 19699
build-model-states-explored 12222765 21776
build-model-states-explored 12233820 11055
build-model-states-explored 12254246 20426
build-model-states-explored 12272991 18745
build-model-states-explored 12292035 19044
build-model-states-explored 12310752 18717
build-model-states-explored 12329420 18668
build-model-states-explored 12347411 17991
build-model-states-explored 12365362 17951
build-model-states-explored 12383846 18484
build-model-states-explored 12402631 18785
build-model-states-explored 12422036 19405
build-model-states-explored 12442333 20297
build-model-states-explored 12463080 20747
build-model-states-explored 12483458 20378
build-model-states-explored 12502330 18872
build-model-states-explored 12520794 18464
build-model-states-explored 12538892 18098
build-model-states-explored 12557113 18221
build-model-states-explored 12575308 18195
build-model-states-explored 12594727 19419
build-model-states-explored 12614700 19973
build-model-states-explored 12632806 18106
build-model-states-explored 12651042 18236
build-model-states-explored 12669909 18867
build-model-states-explored 12688092 18183
build-model-states-explored 12706327 18235
build-model-states-explored 12725306 18979
build-model-states-explored 12744140 18834
build-model-states-explored 12749962 5822
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12751794 1832
build-model-states-explored 12764853 13059
build-model-states-explored 12781812 16959
build-model-states-explored 12800660 18848
build-model-states-explored 12819372 18712
build-model-states-explored 12837968 18596
build-model-states-explored 12856947 18979
build-model-states-explored 12875273 18326
build-model-states-explored 12893922 18649
build-model-states-explored 12912801 18879
build-model-states-explored 12931502 18701
build-model-states-explored 12950325 18823
build-model-states-explored 12969187 18862
build-model-states-explored 12986942 17755
build-model-states-explored 13005529 18587
build-model-states-explored 13024756 19227
build-model-states-explored 13043056 18300
build-model-states-explored 13061416 18360
build-model-states-explored 13080562 19146
build-model-states-explored 13098872 18310
build-model-states-explored 13117100 18228
build-model-states-explored 13136117 19017
build-model-states-explored 13154181 18064
build-model-states-explored 13172454 18273
build-model-states-explored 13191203 18749
build-model-states-explored 13210309 19106
build-model-states-explored 13228612 18303
build-model-states-explored 13246990 18378
build-model-states-explored 13265336 18346
build-model-states-explored 13283440 18104
build-model-states-explored 13301489 18049
build-model-states-explored 13319699 18210
build-model-states-explored 13339102 19403
build-model-states-explored 13358825 19723
build-model-states-explored 13379429 20604
build-model-states-explored 13398691 19262
build-model-states-explored 13418410 19719
build-model-states-explored 13436676 18266
build-model-states-explored 13455021 18345
build-model-states-explored 13473039 18018
build-model-states-explored 13490566 17527
build-model-states-explored 13509395 18829
build-model-states-explored 13529235 19840
build-model-states-explored 13548077 18842
build-model-states-explored 13566268 18191
build-model-states-explored 13583997 17729
build-model-states-explored 13602559 18562
build-model-states-explored 13620417 17858
build-model-states-explored 13639284 18867
build-model-states-explored 13658097 18813
build-model-states-explored 13677023 18926
build-model-states-explored 13695591 18568
build-model-states-explored 13714116 18525
build-model-states-explored 13732674 18558
build-model-states-explored 13751156 18482
build-model-states-explored 13769909 18753
build-model-states-explored 13788858 18949
build-model-states-explored 13807193 18335
build-model-states-explored 13820466 13273
build-model-states-explored 13838914 18448
build-model-states-explored 13857921 19007
build-model-states-explored 13876449 18528
build-model-states-explored 13895451 19002
build-model-states-explored 13913690 18239
build-model-states-explored 13931766 18076
build-model-states-explored 13949496 17730
build-model-states-explored 13968463 18967
build-model-states-explored 13988421 19958
build-model-states-explored 14006771 18350
build-model-states-explored 14024833 18062
build-model-states-explored 14043036 18203
build-model-states-explored 14061441 18405
build-model-states-explored 14079688 18247
build-model-states-explored 14098615 18927
build-model-states-explored 14117856 19241
build-model-states-explored 14137385 19529
build-model-states-explored 14156449 19064
build-model-states-explored 14175682 19233
build-model-states-explored 14194631 18949
build-model-states-explored 14213409 18778
build-model-states-explored 14231111 17702
build-model-states-explored 14248794 17683
build-model-states-explored 14267356 18562
build-model-states-explored 14285452 18096
build-model-states-explored 14304966 19514
build-model-states-explored 14324631 19665
build-model-states-explored 14344213 19582
build-model-states-explored 14361686 17473
build-model-states-explored 14382089 20403
build-model-states-explored 14402880 20791
build-model-states-explored 14421758 18878
build-model-states-explored 14440620 18862
build-model-states-explored 14459289 18669
build-model-states-explored 14478111 18822
build-model-states-explored 14497000 18889
build-model-states-explored 14515654 18654
build-model-states-explored 14534517 18863
build-model-states-explored 14553332 18815
build-model-states-explored 14571928 18596
build-model-states-explored 14591014 19086
build-model-states-explored 14610137 19123
build-model-states-explored 14628837 18700
build-model-states-explored 14648063 19226
build-model-states-explored 14666853 18790
build-model-states-explored 14686387 19534
build-model-states-explored 14705595 19208
build-model-states-explored 14724473 18878
build-model-states-explored 14742998 18525
build-model-states-explored 14761675 18677
build-model-states-explored 14773813 12138
build-model-states-explored 14786305 12492
build-model-states-explored 14801657 15352
build-model-states-explored 14819952 18295
build-model-states-explored 14838829 18877
build-model-states-explored 14858172 19343
build-model-states-explored 14877079 18907
build-model-states-explored 14896643 19564
build-model-states-explored 14915306 18663
build-model-states-explored 14934099 18793
build-model-states-explored 14952964 18865
build-model-states-explored 14971522 18558
build-model-states-explored 14990087 18565
build-model-states-explored 15009277 19190
build-model-states-explored 15028244 18967
build-model-states-explored 15046954 18710
build-model-states-explored 15066135 19181
build-model-states-explored 15085177 19042
build-model-states-explored 15104720 19543
build-model-states-explored 15123226 18506
build-model-states-explored 15141791 18565
build-model-states-explored 15160038 18247
build-model-states-explored 15178195 18157
build-model-states-explored 15196558 18363
build-model-states-explored 15215388 18830
build-model-states-explored 15233663 18275
build-model-states-explored 15251819 18156
build-model-states-explored 15270748 18929
build-model-states-explored 15289200 18452
build-model-states-explored 15308466 19266
build-model-states-explored 15327491 19025
build-model-states-explored 15345927 18436
build-model-states-explored 15364767 18840
build-model-states-explored 15382937 18170
build-model-states-explored 15401030 18093
build-model-states-explored 15401168 138
build-model-states-explored 15404406 3238
build-model-states-explored 15420792 16386
build-model-states-explored 15439658 18866
build-model-states-explored 15458506 18848
build-model-states-explored 15476985 18479
build-model-states-explored 15496428 19443
build-model-states-explored 15515422 18994
build-model-states-explored 15534965 19543
build-model-states-explored 15553440 18475
build-model-states-explored 15571594 18154
build-model-states-explored 15590121 18527
build-model-states-explored 15608412 18291
build-model-states-explored 15626553 18141
build-model-states-explored 15645410 18857
build-model-states-explored 15664024 18614
build-model-states-explored 15682446 18422
build-model-states-explored 15700637 18191
build-model-states-explored 15719773 19136
build-model-states-explored 15738801 19028
build-model-states-explored 15758073 19272
build-model-states-explored 15776647 18574
build-model-states-explored 15795160 18513
build-model-states-explored 15813213 18053
build-model-states-explored 15831143 17930
build-model-states-explored 15849340 18197
build-model-states-explored 15867274 17934
build-model-states-explored 15886131 18857
build-model-states-explored 15904752 18621
build-model-states-explored 15922875 18123
build-model-states-explored 15941560 18685
build-model-states-explored 15960100 18540
build-model-states-explored 15979315 19215
build-model-states-explored 15998646 19331
build-model-states-explored 16016887 18241
build-model-states-explored 16035130 18243
build-model-states-explored 16053450 18320
build-model-states-explored 16071037 17587
build-model-states-explored 16089080 18043
build-model-states-explored 16107789 18709
build-model-states-explored 16126422 18633
build-model-states-explored 16144622 18200
build-model-states-explored 16162572 17950
build-model-states-explored 16181583 19011
build-model-states-explored 16200126 18543
build-model-states-explored 16219196 19070
build-model-states-explored 16238090 18894
build-model-states-explored 16256198 18108
build-model-states-explored 16274591 18393
build-model-states-explored 16292623 18032
build-model-states-explored 16311058 18435
build-model-states-explored 16329630 18572
build-model-states-explored 16345306 15676
build-model-states-explored 16363021 17715
build-model-states-explored 16381761 18740
build-model-states-explored 16399820 18059
build-model-states-explored 16418192 18372
build-model-states-explored 16436561 18369
build-model-states-explored 16454277 17716
build-model-states-explored 16462593 8316
build-model-states-explored 16475568 12975
build-model-states-explored 16490230 14662
build-model-states-explored 16506970 16740
build-model-states-explored 16525001 18031
build-model-states-explored 16543580 18579
build-model-states-explored 16561108 17528
build-model-states-explored 16578843 17735
build-model-states-explored 16597494 18651
build-model-states-explored 16614896 17402
build-model-states-explored 16632554 17658
build-model-states-explored 16650548 17994
build-model-states-explored 16668325 17777
build-model-states-explored 16686261 17936
build-model-states-explored 16704062 17801
build-model-states-explored 16722914 18852
build-model-states-explored 16740826 17912
build-model-states-explored 16758280 17454
build-model-states-explored 16775679 17399
build-model-states-explored 16785263 9584
build-model-states-explored 16797979 12716
build-model-states-explored 16812947 14968
build-model-states-explored 16830055 17108
build-model-states-explored 16848404 18349
build-model-states-explored 16867018 18614
build-model-states-explored 16887150 20132
build-model-states-explored 16906206 19056
build-model-states-explored 16925685 19479
build-model-states-explored 16943464 17779
build-model-states-explored 16961424 17960
build-model-states-explored 16979078 17654
build-model-states-explored 16996626 17548
build-model-states-explored 17014043 17417
build-model-states-explored 17032248 18205
build-model-states-explored 17051127 18879
build-model-states-explored 17068742 17615
build-model-states-explored 17086277 17535
build-model-states-explored 17103479 17202
build-model-states-explored 17121301 17822
build-model-states-explored 17138794 17493
build-model-states-explored 17157121 18327
build-model-states-explored 17175176 18055
build-model-states-explored 17193165 17989
build-model-states-explored 17211459 18294
build-model-states-explored 17230107 18648
build-model-states-explored 17248217 18110
build-model-states-explored 17266207 17990
build-model-states-explored 17284856 18649
build-model-states-explored 17302648 17792
build-model-states-explored 17320686 18038
build-model-states-explored 17339275 18589
build-model-states-explored 17357026 17751
build-model-states-explored 17375602 18576
build-model-states-explored 17393396 17794
build-model-states-explored 17411838 18442
build-model-states-explored 17429441 17603
build-model-states-explored 17446802 17361
build-model-states-explored 17463954 17152
build-model-states-explored 17481683 17729
build-model-states-explored 17500878 19195
build-model-states-explored 17518477 17599
build-model-states-explored 17535990 17513
build-model-states-explored 17553027 17037
build-model-states-explored 17570605 17578
build-model-states-explored 17588175 17570
build-model-states-explored 17606088 17913
build-model-states-explored 17624408 18320
build-model-states-explored 17643337 18929
build-model-states-explored 17661658 18321
build-model-states-explored 17680421 18763
build-model-states-explored 17698772 18351
build-model-states-explored 17716983 18211
build-model-states-explored 17735144 18161
build-model-states-explored 17752191 17047
build-model-states-explored 17769506 17315
build-model-states-explored 17780421 10915
build-model-states-explored 17790875 10454
build-model-states-explored 17790875 0
build-model-states-explored 17790875 0
build-model-states-explored 17790875 0
build-model-states-explored 17790875 0
build-model-states-explored 17790875 0
build-model-states-explored 17790875 0
build-model-states-explored 17790875 0
build-model-states-explored 17790875 0
build-model-states-explored 17790875 0
build-model-states-explored 17804401 13526
build-model-states-explored 17824944 20543
build-model-states-explored 17845560 20616
build-model-states-explored 17865780 20220
build-model-states-explored 17884340 18560
build-model-states-explored 17906073 21733
build-model-states-explored 17926873 20800
build-model-states-explored 17946242 19369
build-model-states-explored 17965006 18764
build-model-states-explored 17984082 19076
build-model-states-explored 18002771 18689
build-model-states-explored 18022489 19718
build-model-states-explored 18042026 19537
build-model-states-explored 18062430 20404
build-model-states-explored 18081727 19297
build-model-states-explored 18101047 19320
build-model-states-explored 18120614 19567
build-model-states-explored 18139926 19312
build-model-states-explored 18159781 19855
build-model-states-explored 18179582 19801
build-model-states-explored 18198627 19045
build-model-states-explored 18218012 19385
build-model-states-explored 18237706 19694
build-model-states-explored 18257183 19477
build-model-states-explored 18277226 20043
build-model-states-explored 18296138 18912
build-model-states-explored 18315310 19172
build-model-states-explored 18334869 19559
build-model-states-explored 18354269 19400
build-model-states-explored 18374210 19941
build-model-states-explored 18393745 19535
build-model-states-explored 18412557 18812
build-model-states-explored 18431483 18926
build-model-states-explored 18451189 19706
build-model-states-explored 18470770 19581
build-model-states-explored 18490572 19802
build-model-states-explored 18509706 19134
build-model-states-explored 18528789 19083
build-model-states-explored 18547858 19069
build-model-states-explored 18567462 19604
build-model-states-explored 18587037 19575
build-model-states-explored 18607078 20041
build-model-states-explored 18626326 19248
build-model-states-explored 18644988 18662
build-model-states-explored 18663902 18914
build-model-states-explored 18683490 19588
build-model-states-explored 18702953 19463
build-model-states-explored 18723014 20061
build-model-states-explored 18742093 19079
build-model-states-explored 18761309 19216
build-model-states-explored 18779824 18515
build-model-states-explored 18799663 19839
build-model-states-explored 18819012 19349
build-model-states-explored 18838951 19939
build-model-states-explored 18858367 19416
build-model-states-explored 18877323 18956
build-model-states-explored 18889688 12365
build-model-states-explored 18908983 19295
build-model-states-explored 18928587 19604
build-model-states-explored 18947839 19252
build-model-states-explored 18966928 19089
build-model-states-explored 18986207 19279
build-model-states-explored 19005533 19326
build-model-states-explored 19024218 18685
build-model-states-explored 19043442 19224
build-model-states-explored 19062111 18669
build-model-states-explored 19080950 18839
build-model-states-explored 19100454 19504
build-model-states-explored 19119192 18738
build-model-states-explored 19137784 18592
build-model-states-explored 19156241 18457
build-model-states-explored 19175086 18845
build-model-states-explored 19195864 20778
build-model-states-explored 19214718 18854
build-model-states-explored 19233469 18751
build-model-states-explored 19251893 18424
build-model-states-explored 19270627 18734
build-model-states-explored 19289029 18402
build-model-states-explored 19308126 19097
build-model-states-explored 19327858 19732
build-model-states-explored 19347435 19577
build-model-states-explored 19367427 19992
build-model-states-explored 19387126 19699
build-model-states-explored 19406791 19665
build-model-states-explored 19426072 19281
build-model-states-explored 19444551 18479
build-model-states-explored 19462245 17694
build-model-states-explored 19481089 18844
build-model-states-explored 19499259 18170
build-model-states-explored 19519435 20176
build-model-states-explored 19539918 20483
build-model-states-explored 19559495 19577
build-model-states-explored 19577567 18072
build-model-states-explored 19598374 20807
build-model-states-explored 19619536 21162
build-model-states-explored 19638937 19401
build-model-states-explored 19658156 19219
build-model-states-explored 19677965 19809
build-model-states-explored 19697279 19314
build-model-states-explored 19716507 19228
build-model-states-explored 19736186 19679
build-model-states-explored 19755173 18987
build-model-states-explored 19775271 20098
build-model-states-explored 19794378 19107
build-model-states-explored 19813881 19503
build-model-states-explored 19833744 19863
build-model-states-explored 19847268 13524
build-model-states-explored 19859436 12168
build-model-states-explored 19873774 14338
build-model-states-explored 19888827 15053
build-model-states-explored 19905336 16509
build-model-states-explored 19924217 18881
build-model-states-explored 19943410 19193
build-model-states-explored 19962465 19055
build-model-states-explored 19981952 19487
build-model-states-explored 20001129 19177
build-model-states-explored 20020551 19422
build-model-states-explored 20040622 20071
build-model-states-explored 20059766 19144
build-model-states-explored 20079801 20035
build-model-states-explored 20099136 19335
build-model-states-explored 20118632 19496
build-model-states-explored 20137916 19284
build-model-states-explored 20157217 19301
build-model-states-explored 20175947 18730
build-model-states-explored 20193843 17896
build-model-states-explored 20212465 18622
build-model-states-explored 20231017 18552
build-model-states-explored 20250110 19093
build-model-states-explored 20270406 20296
build-model-states-explored 20290606 20200
build-model-states-explored 20309383 18777
build-model-states-explored 20328183 18800
build-model-states-explored 20349403 21220
build-model-states-explored 20370642 21239
build-model-states-explored 20390328 19686
build-model-states-explored 20410067 19739
build-model-states-explored 20429475 19408
build-model-states-explored 20449200 19725
build-model-states-explored 20468707 19507
build-model-states-explored 20488395 19688
build-model-states-explored 20508371 19976
build-model-states-explored 20528047 19676
build-model-states-explored 20548247 20200
build-model-states-explored 20568408 20161
build-model-states-explored 20587277 18869
build-model-states-explored 20605888 18611
build-model-states-explored 20627100 21212
build-model-states-explored 20648212 21112
build-model-states-explored 20668198 19986
build-model-states-explored 20688817 20619
build-model-states-explored 20709722 20905
build-model-states-explored 20732452 22730
build-model-states-explored 20752671 20219
build-model-states-explored 20772855 20184
build-model-states-explored 20793182 20327
build-model-states-explored 20813365 20183
build-model-states-explored 20833684 20319
build-model-states-explored 20844848 11164
build-model-states-explored 20864856 20008
build-model-states-explored 20884809 19953
build-model-states-explored 20905417 20608
build-model-states-explored 20926085 20668
build-model-states-explored 20946783 20698
build-model-states-explored 20967202 20419
build-model-states-explored 20985354 18152
build-model-states-explored 21002244 16890
build-model-states-explored 21020209 17965
build-model-states-explored 21037756 17547
build-model-states-explored 21054492 16736
build-model-states-explored 21071743 17251
build-model-states-explored 21088882 17139
build-model-states-explored 21105272 16390
build-model-states-explored 21121754 16482
build-model-states-explored 21138578 16824
build-model-states-explored 21158177 19599
build-model-states-explored 21178116 19939
build-model-states-explored 21198192 20076
build-model-states-explored 21218318 20126
build-model-states-explored 21237957 19639
build-model-states-explored 21258670 20713
build-model-states-explored 21278256 19586
build-model-states-explored 21298172 19916
build-model-states-explored 21318487 20315
build-model-states-explored 21338436 19949
build-model-states-explored 21358605 20169
build-model-states-explored 21378392 19787
build-model-states-explored 21397983 19591
build-model-states-explored 21417125 19142
build-model-states-explored 21435930 18805
build-model-states-explored 21454457 18527
build-model-states-explored 21473442 18985
build-model-states-explored 21492238 18796
build-model-states-explored 21510646 18408
build-model-states-explored 21529165 18519
build-model-states-explored 21547660 18495
build-model-states-explored 21565862 18202
build-model-states-explored 21584431 18569
build-model-states-explored 21603114 18683
build-model-states-explored 21621501 18387
build-model-states-explored 21640054 18553
build-model-states-explored 21659687 19633
build-model-states-explored 21679440 19753
build-model-states-explored 21699010 19570
build-model-states-explored 21718721 19711
build-model-states-explored 21738338 19617
build-model-states-explored 21758268 19930
build-model-states-explored 21778871 20603
build-model-states-explored 21794904 16033
build-model-states-explored 21807504 12600
build-model-states-explored 21822170 14666
build-model-states-explored 21837798 15628
build-model-states-explored 21857138 19340
build-model-states-explored 21876282 19144
build-model-states-explored 21896455 20173
build-model-states-explored 21916570 20115
build-model-states-explored 21935766 19196
build-model-states-explored 21954946 19180
build-model-states-explored 21973476 18530
build-model-states-explored 21991577 18101
build-model-states-explored 22009913 18336
build-model-states-explored 22028675 18762
build-model-states-explored 22046802 18127
build-model-states-explored 22065065 18263
build-model-states-explored 22084071 19006
build-model-states-explored 22103570 19499
build-model-states-explored 22123475 19905
build-model-states-explored 22143744 20269
build-model-states-explored 22163647 19903
build-model-states-explored 22183669 20022
build-model-states-explored 22203538 19869
build-model-states-explored 22222682 19144
build-model-states-explored 22241241 18559
build-model-states-explored 22259440 18199
build-model-states-explored 22277128 17688
build-model-states-explored 22294786 17658
build-model-states-explored 22314030 19244
build-model-states-explored 22333981 19951
build-model-states-explored 22353873 19892
build-model-states-explored 22373434 19561
build-model-states-explored 22391439 18005
build-model-states-explored 22408555 17116
build-model-states-explored 22428124 19569
build-model-states-explored 22446810 18686
build-model-states-explored 22464508 17698
build-model-states-explored 22481794 17286
build-model-states-explored 22500825 19031
build-model-states-explored 22519743 18918
build-model-states-explored 22539216 19473
build-model-states-explored 22558153 18937
build-model-states-explored 22576650 18497
build-model-states-explored 22595402 18752
build-model-states-explored 22613974 18572
build-model-states-explored 22632929 18955
build-model-states-explored 22651406 18477
build-model-states-explored 22669647 18241
build-model-states-explored 22688466 18819
build-model-states-explored 22707089 18623
build-model-states-explored 22725182 18093
build-model-states-explored 22743928 18746
build-model-states-explored 22753725 9797
build-model-states-explored 22773265 19540
build-model-states-explored 22793189 19924
build-model-states-explored 22813046 19857
build-model-states-explored 22832296 19250
build-model-states-explored 22851715 19419
build-model-states-explored 22871477 19762
build-model-states-explored 22891418 19941
build-model-states-explored 22911133 19715
build-model-states-explored 22930905 19772
build-model-states-explored 22950633 19728
build-model-states-explored 22970652 20019
build-model-states-explored 22990306 19654
build-model-states-explored 23010457 20151
build-model-states-explored 23030071 19614
build-model-states-explored 23049240 19169
build-model-states-explored 23068038 18798
build-model-states-explored 23087023 18985
build-model-states-explored 23105465 18442
build-model-states-explored 23124049 18584
build-model-states-explored 23142267 18218
build-model-states-explored 23160503 18236
build-model-states-explored 23178680 18177
build-model-states-explored 23197380 18700
build-model-states-explored 23217152 19772
build-model-states-explored 23237050 19898
build-model-states-explored 23256982 19932
build-model-states-explored 23276969 19987
build-model-states-explored 23296751 19782
build-model-states-explored 23317076 20325
build-model-states-explored 23336826 19750
build-model-states-explored 23355468 18642
build-model-states-explored 23374170 18702
build-model-states-explored 23392073 17903
build-model-states-explored 23410015 17942
build-model-states-explored 23427576 17561
build-model-states-explored 23447173 19597
build-model-states-explored 23466929 19756
build-model-states-explored 23486683 19754
build-model-states-explored 23506069 19386
build-model-states-explored 23524112 18043
build-model-states-explored 23541220 17108
build-model-states-explored 23560417 19197
build-model-states-explored 23579734 19317
build-model-states-explored 23597031 17297
build-model-states-explored 23614826 17795
build-model-states-explored 23632990 18164
build-model-states-explored 23651410 18420
build-model-states-explored 23670303 18893
build-model-states-explored 23689276 18973
build-model-states-explored 23701330 12054
build-model-states-explored 23713542 12212
build-model-states-explored 23726743 13201
build-model-states-explored 23740431 13688
build-model-states-explored 23757905 17474
build-model-states-explored 23776000 18095
build-model-states-explored 23794484 18484
build-model-states-explored 23812679 18195
build-model-states-explored 23831506 18827
build-model-states-explored 23850077 18571
build-model-states-explored 23868251 18174
build-model-states-explored 23886829 18578
build-model-states-explored 23905791 18962
build-model-states-explored 23924893 19102
build-model-states-explored 23944519 19626
build-model-states-explored 23964320 19801
build-model-states-explored 23983762 19442
build-model-states-explored 24003213 19451
build-model-states-explored 24023045 19832
build-model-states-explored 24043139 20094
build-model-states-explored 24062624 19485
build-model-states-explored 24082216 19592
build-model-states-explored 24101676 19460
build-model-states-explored 24121679 20003
build-model-states-explored 24141121 19442
build-model-states-explored 24160908 19787
build-model-states-explored 24180727 19819
build-model-states-explored 24200210 19483
build-model-states-explored 24218615 18405
build-model-states-explored 24237339 18724
build-model-states-explored 24256612 19273
build-model-states-explored 24274914 18302
build-model-states-explored 24293176 18262
build-model-states-explored 24311361 18185
build-model-states-explored 24329621 18260
build-model-states-explored 24347531 17910
build-model-states-explored 24366360 18829
build-model-states-explored 24385887 19527
build-model-states-explored 24405787 19900
build-model-states-explored 24425196 19409
build-model-states-explored 24445275 20079
build-model-states-explored 24465104 19829
build-model-states-explored 24484975 19871
build-model-states-explored 24504670 19695
build-model-states-explored 24523451 18781
build-model-states-explored 24541743 18292
build-model-states-explored 24559952 18209
build-model-states-explored 24577795 17843
build-model-states-explored 24595592 17797
build-model-states-explored 24614290 18698
build-model-states-explored 24633783 19493
build-model-states-explored 24643493 9710
build-model-states-explored 24663117 19624
build-model-states-explored 24682576 19459
build-model-states-explored 24700918 18342
build-model-states-explored 24718306 17388
build-model-states-explored 24736639 18333
build-model-states-explored 24756572 19933
build-model-states-explored 24773887 17315
build-model-states-explored 24792215 18328
build-model-states-explored 24809621 17406
build-model-states-explored 24828394 18773
build-model-states-explored 24846687 18293
build-model-states-explored 24865201 18514
build-model-states-explored 24884129 18928
build-model-states-explored 24903124 18995
build-model-states-explored 24922171 19047
build-model-states-explored 24940797 18626
build-model-states-explored 24959298 18501
build-model-states-explored 24977404 18106
build-model-states-explored 24996103 18699
build-model-states-explored 25014148 18045
build-model-states-explored 25032363 18215
build-model-states-explored 25051125 18762
build-model-states-explored 25069155 18030
build-model-states-explored 25087536 18381
build-model-states-explored 25107298 19762
build-model-states-explored 25126405 19107
build-model-states-explored 25145899 19494
build-model-states-explored 25165554 19655
build-model-states-explored 25184906 19352
build-model-states-explored 25204413 19507
build-model-states-explored 25223896 19483
build-model-states-explored 25244053 20157
build-model-states-explored 25263293 19240
build-model-states-explored 25283007 19714
build-model-states-explored 25293965 10958
build-model-states-explored 25305083 11118
build-model-states-explored 25319396 14313
build-model-states-explored 25333715 14319
build-model-states-explored 25351336 17621
build-model-states-explored 25370423 19087
build-model-states-explored 25389694 19271
build-model-states-explored 25408706 19012
build-model-states-explored 25427173 18467
build-model-states-explored 25445502 18329
build-model-states-explored 25464361 18859
build-model-states-explored 25483205 18844
build-model-states-explored 25501132 17927
build-model-states-explored 25519370 18238
build-model-states-explored 25537758 18388
build-model-states-explored 25555922 18164
build-model-states-explored 25574577 18655
build-model-states-explored 25593781 19204
build-model-states-explored 25613202 19421
build-model-states-explored 25632792 19590
build-model-states-explored 25652772 19980
build-model-states-explored 25672277 19505
build-model-states-explored 25692264 19987
build-model-states-explored 25712011 19747
build-model-states-explored 25731490 19479
build-model-states-explored 25749303 17813
build-model-states-explored 25767650 18347
build-model-states-explored 25785615 17965
build-model-states-explored 25803162 17547
build-model-states-explored 25820445 17283
build-model-states-explored 25839563 19118
build-model-states-explored 25859336 19773
build-model-states-explored 25879039 19703
build-model-states-explored 25898646 19607
build-model-states-explored 25916640 17994
build-model-states-explored 25934704 18064
build-model-states-explored 25952002 17298
build-model-states-explored 25971497 19495
build-model-states-explored 25990036 18539
build-model-states-explored 26006978 16942
build-model-states-explored 26025317 18339
build-model-states-explored 26042833 17516
build-model-states-explored 26061211 18378
build-model-states-explored 26079783 18572
build-model-states-explored 26097922 18139
build-model-states-explored 26116470 18548
build-model-states-explored 26134899 18429
build-model-states-explored 26153289 18390
build-model-states-explored 26172447 19158
build-model-states-explored 26190968 18521
build-model-states-explored 26209143 18175
build-model-states-explored 26226997 17854
build-model-states-explored 26237056 10059
build-model-states-explored 26254108 17052
build-model-states-explored 26272465 18357
build-model-states-explored 26291127 18662
build-model-states-explored 26309251 18124
build-model-states-explored 26327324 18073
build-model-states-explored 26346691 19367
build-model-states-explored 26366039 19348
build-model-states-explored 26384819 18780
build-model-states-explored 26404327 19508
build-model-states-explored 26423448 19121
build-model-states-explored 26442331 18883
build-model-states-explored 26461618 19287
build-model-states-explored 26481520 19902
build-model-states-explored 26500674 19154
build-model-states-explored 26520038 19364
build-model-states-explored 26539175 19137
build-model-states-explored 26558445 19270
build-model-states-explored 26578140 19695
build-model-states-explored 26597630 19490
build-model-states-explored 26617493 19863
build-model-states-explored 26636985 19492
build-model-states-explored 26656210 19225
build-model-states-explored 26674328 18118
build-model-states-explored 26692597 18269
build-model-states-explored 26710965 18368
build-model-states-explored 26721976 11011
build-model-states-explored 26721976 0
build-model-states-explored 26721976 0
build-model-states-explored 26721976 0
build-model-states-explored 26721976 0
build-model-states-explored 26721976 0
build-model-states-explored 26721976 0
build-model-states-explored 26721976 0
build-model-states-explored 26721976 0
build-model-states-explored 26721976 0
build-model-states-explored 26721976 0
build-model-states-explored 26721976 0
build-model-states-explored 26721976 0
build-model-states-explored 26721976 0
build-model-states-explored 26721976 0
build-model-states-explored 26721976 0
build-model-states-explored 26721976 0
build-model-states-explored 26721976 0
build-model-states-explored 26721976 0
build-model-states-explored 26721976 0
build-model-states-explored 26721976 0
build-model-states-explored 26721976 0
build-model-states-explored 26721976 0
build-model-states-explored 26721976 0
build-model-states-explored 26721976 0
build-model-states-explored 26721976 0
build-model-states-explored 26721976 0
build-model-states-explored 26721976 0
build-model-states-explored 26721976 0
build-model-states-explored 26721976 0
build-model-states-explored 26721976 0
build-model-states-explored 26721976 0
build-model-states-explored 26721976 0
build-model-states-explored 26721976 0
build-model-states-explored 26721976 0
build-model-states-explored 26721976 0
build-model-states-explored 26721976 0
build-model-states-explored 26721976 0
build-model-states-explored 26721976 0
build-model-states-explored 26721976 0
build-model-states-explored 26721976 0
build-model-states-explored 26721976 0
build-model-states-explored 26721976 0
build-model-states-explored 26721976 0
build-model-states-explored 26721976 0
build-model-states-explored 26721976 0
build-model-states-explored 26721976 0
build-model-states-explored 26721976 0
build-model-states-explored 26721976 0
build-model-states-explored 26721976 0
build-model-states-explored 26721976 0
build-model-states-explored 26721976 0
build-model-states-explored 26721976 0
build-model-states-explored 26721976 0
build-model-states-explored 26721976 0
build-model-states-explored 26721976 0
build-model-states-explored 26721976 0
build-model-states-explored 26721976 0
build-model-states-explored 26721976 0
build-model-states-explored 26721976 0
build-model-states-explored 26721976 0
build-model-states-explored 26721976 0
build-model-states-explored 26732198 10222
build-model-states-explored 26745748 13550
build-model-states-explored 26759097 13349
build-model-states-explored 26774470 15373
build-model-states-explored 26791685 17215
build-model-states-explored 26808878 17193
build-model-states-explored 26827173 18295
build-model-states-explored 26846373 19200
build-model-states-explored 26865733 19360
build-model-states-explored 26885038 19305
build-model-states-explored 26904469 19431
build-model-states-explored 26924298 19829
build-model-states-explored 26943617 19319
build-model-states-explored 26962889 19272
build-model-states-explored 26982318 19429
build-model-states-explored 27000875 18557
build-model-states-explored 27018548 17673
build-model-states-explored 27036363 17815
build-model-states-explored 27054727 18364
build-model-states-explored 27072200 17473
build-model-states-explored 27089943 17743
build-model-states-explored 27108803 18860
build-model-states-explored 27128163 19360
build-model-states-explored 27147346 19183
build-model-states-explored 27166854 19508
build-model-states-explored 27185180 18326
build-model-states-explored 27203023 17843
build-model-states-explored 27219923 16900
build-model-states-explored 27238105 18182
build-model-states-explored 27257315 19210
build-model-states-explored 27274931 17616
build-model-states-explored 27292843 17912
build-model-states-explored 27310018 17175
build-model-states-explored 27327944 17926
build-model-states-explored 27345677 17733
build-model-states-explored 27364259 18582
build-model-states-explored 27382500 18241
build-model-states-explored 27400562 18062
build-model-states-explored 27419179 18617
build-model-states-explored 27437394 18215
build-model-states-explored 27455123 17729
build-model-states-explored 27474289 19166
build-model-states-explored 27492996 18707
build-model-states-explored 27511043 18047
build-model-states-explored 27529186 18143
build-model-states-explored 27547112 17926
build-model-states-explored 27564620 17508
build-model-states-explored 27583224 18604
build-model-states-explored 27601555 18331
build-model-states-explored 27619682 18127
build-model-states-explored 27639414 19732
build-model-states-explored 27658580 19166
build-model-states-explored 27677468 18888
build-model-states-explored 27697099 19631
build-model-states-explored 27715975 18876
build-model-states-explored 27735297 19322
build-model-states-explored 27754497 19200
build-model-states-explored 27774454 19957
build-model-states-explored 27785726 11272
build-model-states-explored 27805012 19286
build-model-states-explored 27824658 19646
build-model-states-explored 27843630 18972
build-model-states-explored 27863322 19692
build-model-states-explored 27882591 19269
build-model-states-explored 27901532 18941
build-model-states-explored 27921323 19791
build-model-states-explored 27940886 19563
build-model-states-explored 27959431 18545
build-model-states-explored 27977183 17752
build-model-states-explored 27995331 18148
build-model-states-explored 28013208 17877
build-model-states-explored 28031276 18068
build-model-states-explored 28049674 18398
build-model-states-explored 28068108 18434
build-model-states-explored 28086261 18153
build-model-states-explored 28103788 17527
build-model-states-explored 28121586 17798
build-model-states-explored 28139974 18388
build-model-states-explored 28158978 19004
build-model-states-explored 28178123 19145
build-model-states-explored 28196935 18812
build-model-states-explored 28216292 19357
build-model-states-explored 28235633 19341
build-model-states-explored 28254833 19200
build-model-states-explored 28274353 19520
build-model-states-explored 28293817 19464
build-model-states-explored 28312562 18745
build-model-states-explored 28330206 17644
build-model-states-explored 28347636 17430
build-model-states-explored 28365943 18307
build-model-states-explored 28383815 17872
build-model-states-explored 28400852 17037
build-model-states-explored 28419225 18373
build-model-states-explored 28438370 19145
build-model-states-explored 28457638 19268
build-model-states-explored 28476733 19095
build-model-states-explored 28495718 18985
build-model-states-explored 28512958 17240
build-model-states-explored 28530627 17669
build-model-states-explored 28547670 17043
build-model-states-explored 28566512 18842
build-model-states-explored 28585739 19227
build-model-states-explored 28602958 17219
build-model-states-explored 28620346 17388
build-model-states-explored 28637488 17142
build-model-states-explored 28655466 17978
build-model-states-explored 28673274 17808
build-model-states-explored 28691532 18258
build-model-states-explored 28709444 17912
build-model-states-explored 28716154 6710
build-model-states-explored 28728496 12342
build-model-states-explored 28741804 13308
build-model-states-explored 28755049 13245
build-model-states-explored 28770779 15730
build-model-states-explored 28787833 17054
build-model-states-explored 28805280 17447
build-model-states-explored 28823663 18383
build-model-states-explored 28842973 19310
build-model-states-explored 28861292 18319
build-model-states-explored 28879174 17882
build-model-states-explored 28896586 17412
build-model-states-explored 28914671 18085
build-model-states-explored 28932002 17331
build-model-states-explored 28950491 18489
build-model-states-explored 28968970 18479
build-model-states-explored 28988125 19155
build-model-states-explored 29007309 19184
build-model-states-explored 29025758 18449
build-model-states-explored 29045123 19365
build-model-states-explored 29063823 18700
build-model-states-explored 29082935 19112
build-model-states-explored 29101655 18720
build-model-states-explored 29121343 19688
build-model-states-explored 29140328 18985
build-model-states-explored 29159154 18826
build-model-states-explored 29178069 18915
build-model-states-explored 29197136 19067
build-model-states-explored 29216636 19500
build-model-states-explored 29235759 19123
build-model-states-explored 29254997 19238
build-model-states-explored 29274500 19503
build-model-states-explored 29293651 19151
build-model-states-explored 29312335 18684
build-model-states-explored 29330489 18154
build-model-states-explored 29348506 18017
build-model-states-explored 29366425 17919
build-model-states-explored 29384470 18045
build-model-states-explored 29402428 17958
build-model-states-explored 29421065 18637
build-model-states-explored 29439354 18289
build-model-states-explored 29457299 17945
build-model-states-explored 29474435 17136
build-model-states-explored 29492807 18372
build-model-states-explored 29512142 19335
build-model-states-explored 29530940 18798
build-model-states-explored 29549970 19030
build-model-states-explored 29569116 19146
build-model-states-explored 29588986 19870
build-model-states-explored 29608286 19300
build-model-states-explored 29627261 18975
build-model-states-explored 29645053 17792
build-model-states-explored 29664072 19019
build-model-states-explored 29682018 17946
build-model-states-explored 29699458 17440
build-model-states-explored 29716826 17368
build-model-states-explored 29734017 17191
build-model-states-explored 29751719 17702
build-model-states-explored 29768385 16666
build-model-states-explored 29785889 17504
build-model-states-explored 29804344 18455
build-model-states-explored 29823479 19135
build-model-states-explored 29842284 18805
build-model-states-explored 29860732 18448
build-model-states-explored 29878307 17575
build-model-states-explored 29894887 16580
build-model-states-explored 29912092 17205
build-model-states-explored 29929008 16916
build-model-states-explored 29947008 18000
build-model-states-explored 29965587 18579
build-model-states-explored 29982120 16533
build-model-states-explored 29998667 16547
build-model-states-explored 30015871 17204
build-model-states-explored 30032640 16769
build-model-states-explored 30050655 18015
build-model-states-explored 30067999 17344
build-model-states-explored 30085673 17674
build-model-states-explored 30103813 18140
build-model-states-explored 30121436 17623
build-model-states-explored 30138869 17433
build-model-states-explored 30156927 18058
build-model-states-explored 30173676 16749
build-model-states-explored 30191531 17855
build-model-states-explored 30209327 17796
build-model-states-explored 30226284 16957
build-model-states-explored 30244526 18242
build-model-states-explored 30262684 18158
build-model-states-explored 30279976 17292
build-model-states-explored 30296895 16919
build-model-states-explored 30313822 16927
build-model-states-explored 30330803 16981
build-model-states-explored 30347675 16872
build-model-states-explored 30365241 17566
build-model-states-explored 30383947 18706
build-model-states-explored 30402697 18750
build-model-states-explored 30420710 18013
build-model-states-explored 30439213 18503
build-model-states-explored 30457392 18179
build-model-states-explored 30476089 18697
build-model-states-explored 30494395 18306
build-model-states-explored 30512924 18529
build-model-states-explored 30531690 18766
build-model-states-explored 30544812 13122
build-model-states-explored 30556981 12169
build-model-states-explored 30570179 13198
build-model-states-explored 30583971 13792
build-model-states-explored 30598359 14388
build-model-states-explored 30616888 18529
build-model-states-explored 30635143 18255
build-model-states-explored 30653486 18343
build-model-states-explored 30672871 19385
build-model-states-explored 30691787 18916
build-model-states-explored 30710754 18967
build-model-states-explored 30728575 17821
build-model-states-explored 30746115 17540
build-model-states-explored 30763616 17501


----------
Computation aborted after 1800.2414581775665 seconds since the total time limit of 1800 seconds was exceeded.